Clat Logical Reasoning